|
|
|
| e-Pub |
Previous | 
Home
Section: New Software and Platforms
Ssreflect
Functional Description: Ssreflect is a tactic language extension to the Coq system, developed by the Mathematical Components team.
Overall Objectives
Research Program
Application Domains
New Results
- Computing solutions of linear Mahler equations
- Becker's conjecture on Mahler functions
- Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions
- Bijections between Łukasiewicz walks and generalized tandem walks
- Putting Fürer's algorithm into practice with the BPAS library
- Fast coefficient computation for algebraic power series in positive characteristic
- Counting walks with large steps in an orthant
- Subresultants of
( x - α ) m ( x - β ) n - A numerical transcendental method in algebraic geometry
Partnerships and Cooperations
Bibliography